Coherence, Homotopy and 2-Theories
نویسنده
چکیده
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a Quillen model category structure on the category of 2-theories and 2-theory-morphisms where the weak equivalences are biequivalences of 2-theories. A biequivalence of 2-theories (Morita equivalence) induces and is induced by a biequivalence of 2-categories of algebras. This model category structure allows one to talk of the homotopy of 2-theories and discuss the universal properties of coherence.
منابع مشابه
The Coherence and Incoherence among the Order of Effusion, Physics, and Ancient Astronomy from the Perspective of Muslim Philosophers
The present article deals with coherence and incoherence among the theories of the order of effusion, physics and ancient astronomy. There is no coherence between these fields in the view of Plotinus who is the innovator of the theory of effusion, while there is a coherence and correlation among these orders in Farabichr('39')s philosophy. In this regard Ibn Sina, Ikhwan al-Safa , Shaykh al-...
متن کاملGeneralised sheaf cohomology theories
This paper is an expanded version of notes for a set of lectures given at the Isaac Newton Institute for Mathematical Sciences during a NATO ASI Workshop entitled “Homotopy Theory of Geometric Categories” on September 23 and 24, 2002. This workshop was part of a program entitled New Contexts in Stable Homotopy Theory that was held at the Institute during the fall of 2002. The intent for the lec...
متن کاملHomotopy theory and classifying spaces
What is a homotopy theory T? – Examples of homotopy theories (Tpair presentation) – The homotopy category Ho(T) – Examples of homotopy categories – Model category: (C, E) with extras – Examples of model categories (C, E) – Dividends from a model category structure on (C, E) – Equivalences between homotopy theories – T(C, E) ∼ T(C′, E ′) for model categories – Examples of equivalences between ho...
متن کاملFormal Homotopy Quantum Field Theories, II : Simplicial Formal Maps
Simplicial formal maps were introduced in the first paper of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a natural generalisation can handle much more general backgrounds. The question of the geometric interpretation of these formal maps is partially answered in terms of combinatorial bun...
متن کاملHomotopy invariants of multiple categories and concurrency in computer science
We associate to any (strict) multiple category C three homology theories : the rst one is called the globular homology and it contains the oriented loops of C ; both other ones are called corner homology, the negative one and the positive one, which contain the corners included in C. We make explicit the link between these homology theories and the homotopy of paths in multiple category. We con...
متن کامل